Issue1452.agda:5,5-30
Terms marked as eligible for instance search should end with a name
